A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Simulation Subsumption or Déjà vu on the Web

Simulation unification is a special kind of unification adapted to retrieving semi-structured data on the Web. This article introduces simulation subsumption, or containment, that is, query subsumption under simulation unification. Simulation subsumption is crucial in general for query optimization, in particular for optimizing pattern-based search engines, and for the termination of recursive rule-based web languages such as the XML and RDF query language Xcerpt. This paper first motivates and formalizes simulation subsumption. Then, it establishes decidability of simulation subsumption for advanced query patterns featuring descendant constructs, regular expressions, negative subterms (or subterm exclusions), and multiple variable occurrences. Finally, we show that subsumption between two query terms can be decided in O(n!n) where n is the sum of the sizes of both query terms

Coupled role of alloying and manufacturing on deep cryogenic treatment performance on high-alloyed ferrous alloys

This study focuses on influence of alloying content and type of manufacturing on the effectiveness of deep cryogenic treatment (DCT) on properties of selected high-alloyed ferrous alloys (HAFA): EN HS6-5-2, EN HS6-5-2-5, EN HS6-5-3 and EN HS12-1-4. In order to evaluate the dependency of DCT performance on chemical composition and manufacturing type, the microstructure, hardness, impact and fracture toughness and fatigue properties were analyzed. Additionally, the fatigue data was evaluated using an adapted strain-life model in order to understand the unique effects of DCT with selected factors and provide a model for estimating the fatigue limit of DCT HAFA. The study indicates that DCT affects carbide precipitation, size and morphology of nanocarbides, average distance between carbides and nanocarbides, as well as the base matrix (martensitic laths). The induced microstructural changes cause an overall positive change of mechanical properties in selected HAFA, which correlates well with individual alloying and manufacturing differences. Overall, DCT has greater effect on wrought HAFA than powder metallurgy manufactured HAFA, at which high content of W and Co generally degenerates the DCT induced microstructure modifications

Sulfur reduction in sediments of marine and evaporite environments

Transformations of sulfur in sediments of ponds ranging in salinities from that of normal seawater to those of brines saturated with sodium chloride were examined. The chemistry of the sediment and pore waters were focused on with emphasis on the fate of sulfate reduction. The effects of increasing salinity on both forms of sulfur and microbial activity were determined. A unique set of chemical profiles and sulfate-reducing activity was found for the sediments of each of the sites examined. The quantity of organic matter in the salt pond sediments was significantly greater than that occurring in the adjacent intertidal site. The total quantitative and qualitative distribution of volatile fatty acids was also greater in the salt ponds. Volatile fatty acids increased with salinity

Ab-initio study of structure and dynamics properties of crystalline ice

We investigated the structural and dynamical properties of a tetrahedrally coordinated crystalline ice from first principles based on density functional theory within the generalized gradient approximation with the projected augmented wave method. First, we report the structural behaviour of ice at finite temperatures based on the analysis of radial distribution functions obtained by molecular dynamics simulations. The results show how the ordering of the hydrogen bonding breaks down in the tetrahedral network of ice with entropy increase in agreement with the neutron diffraction data. We also calculated the phonon spectra of ice in a 3x1x1 supercell by using the direct method. So far, due to the direct method used in this calculation, the phonon spectra is obtained without taking into account the effect of polarization arising from dipole-dipole interactions of water molecules which is expected to yield the splitting of longitudinal and transverse optic modes at the Gamma-point. The calculated longitudinal acoustic velocities from the initial slopes of the acoustic mode is in a reasonable agreement with the neutron scatering data. The analysis of the vibrational density of states shows the existence of a boson peak at low energy of translational region a characteristic common to amorphous systems.Comment: International symposium on structure and dynamics of heterogeneous system SDHS'0

Constraints, Histones, and the 30 Nanometer Spiral

We investigate the mechanical stability of a segment of DNA wrapped around a histone in the nucleosome configuration. The assumption underlying this investigation is that the proper model for this packaging arrangement is that of an elastic rod that is free to twist and that writhes subject to mechanical constraints. We find that the number of constraints required to stabilize the nuclesome configuration is determined by the length of the segment, the number of times the DNA wraps around the histone spool, and the specific constraints utilized. While it can be shown that four constraints suffice, in principle, to insure stability of the nucleosome, a proper choice must be made to guarantee the effectiveness of this minimal number. The optimal choice of constraints appears to bear a relation to the existence of a spiral ridge on the surface of the histone octamer. The particular configuration that we investigate is related to the 30 nanometer spiral, a higher-order organization of DNA in chromatin.Comment: ReVTeX, 15 pages, 18 figure